The International Journal of Robotics Research http://ijr.sagepub.com Motion Planning Under Uncertainty for Image-guided Medical Needle Steering Ron Alterovitz, Michael Branicky and Ken Goldberg

Source URL: goldberg.berkeley.edu

• Medicine
• Clinical medicine
• Motion planning
• Theoretical computer science
• Biopsy
• Hypodermic needle
• Magnetism
• Needle
• Stereotactic surgery
• Shortest path problem

Open problems: Descending cohomology, geometrically compiled by Barry Mazur * Open problems in mathematics, statistics, theoretical computer science and related areas are welcome. Please contact the section editor Kefeng

Source URL: www.math.harvard.edu

ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS

Source URL: www.cse.iitd.ernet.in

• Theoretical computer science
• Association for Computing Machinery
• ACM SIGACT
• Computer science
• International Conference on Functional Programming
• Computational geometry
• Computational intelligence
• Computational learning theory
• International Symposium on Symbolic and Algebraic Computation
• Algorithmica
• Draft:Chittoor V. Ramamoorthy
• Vasant Honavar

ExCAPE Annual Report of Activities April 2014 to MarchOverview

Source URL: excape.cis.upenn.edu

• Theoretical computer science
• Electronic engineering
• Digital electronics
• Music
• Electronic design automation
• Formal verification
• Logic in computer science
• High-level synthesis
• Robotics
• Domain-specific language
• Finite-state machine
• Model checking

Abstractions and Middleware for Petascale Computing and Beyond   Ivo F. Sbalzarini* Institute of Theoretical Computer Science and Swiss Institute of Bioinformatics, ETH Zurich, CH-8092 Zurich, Switzerland  

Source URL: www.ppm-library.org

Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond Simon Cruanes École polytechnique and Inria https://who.rocq.inria.fr/Simon.Cruanes/

Source URL: cedeela.fr

• Mathematical logic
• Theoretical computer science
• Mathematics
• Automated theorem proving
• Logic in computer science
• Model theory
• First-order logic
• Mathematical proof
• Unification
• Equality

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

Source URL: se.inf.ethz.ch

• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Computer programming
• Software testing
• Extreme programming
• Postcondition
• Software bug
• Precondition
• Assertion
• Random testing

´ APPROXIMABILITY OF THE DISCRETE FRECHET DISTANCE∗ 1

Source URL: people.mpi-inf.mpg.de

• Circuit complexity
• NC
• Systems science
• Dynamic programming
• Systems theory
• Theoretical computer science

Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis Fabian Hueske Aljoscha Krettek

Source URL: stratosphere.eu

• Parallel computing
• Computability theory
• Subroutines
• Theoretical computer science
• Distributed computing architecture
• MapReduce
• Data-intensive computing
• User-defined function
• MAD
• Recursion
• Algorithm
• Big O notation

(Comparing) Hardware Complexity of Cryptographic Algorithms Liam Marnane University College Cork Claude Shannon Institute

Source URL: mathsci.ucd.ie

• Cryptography
• Public-key cryptography
• Key management
• Formal sciences
• Algorithm
• Theoretical computer science
• Advanced Encryption Standard
• Key
• Data Encryption Standard